Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
341	Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2015-03-05 12:04:45 Logic in computer science Functional programming Monad Rewriting ALGOL 68 Software engineering Programming language theory Computing
342	Creative Microsystems, Inc. 52 Hillside Court Englewood OHTel: (Fax: (Email: Add to Reading List Source URL: www.civicacmi.com Language: English - Date: 2014-11-11 13:15:34 Software engineering C Programming language theory EOY Procedural programming languages Computing
343	Commission on Accreditation for Respiratory Care SLEEP SPECIALIST PROGRAM OPTION SELECT ACCREDITATION SELF-STUDY REVIEW REPORT Add to Reading List Source URL: www.coarc.com Language: English - Date: 2012-05-14 10:41:05 Commission on Accreditation for Respiratory Care C Programming language theory Respiratory therapy Computing Software engineering
344	City of Boulder - Benchmarks BMID LOCATION Add to Reading List Source URL: gisweb.ci.boulder.co.us Language: English - Date: 2005-07-15 13:50:00 .int Computing Programming language theory ALGOL 68 Software engineering
345	Microsoft PowerPoint - HS-part4-Mosalam Add to Reading List Source URL: nees.berkeley.edu Language: English - Date: 2014-01-03 19:13:37 Software engineering Tcl Computing Programming language theory Earthquake engineering Numerical software OpenSees
346	REVIEW OF COMPLAINTS (LENDING CODE PROVISION 261) APRIL 2015 The Lending Standards Board Limited, Company Limited by Guarantee, Registered in England & Wales, NoRegistered Office: 21 Holborn Viaduct, London EC1 Add to Reading List Source URL: www.lendingstandardsboard.org.uk Language: English - Date: 2015-04-23 11:39:38 Software engineering C Programming language theory Computing Dispute resolution Mediation
347	A dynamic virtual machine for the support of interoperable programming languages J. Baltasar García Perez-Schofield Francisco Ortín Soler Add to Reading List Source URL: bergel.eu Language: English - Date: 2010-06-09 14:53:04 Cross-platform software Type theory Programming language Strong typing Type system D Python Late binding C++ Software engineering Computing Computer programming
348	Programming Language Techniques for Cryptographic Proofs⋆ Gilles Barthe1 , Benjamin Gr´egoire2, and Santiago Zanella B´eguelin1 1 IMDEA Software, Madrid, Spain, {Gilles.Barthe,Santiago.Zanella}@imdea.org Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Advantage Pseudorandom function family Expected value Function Lemmas Probability theory Pseudorandom generator Cryptography Mathematics Pseudorandomness
349	Runtime Instrumentation for Precise Flow-Sensitive Type Analysis Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-17 17:02:57 Computer programming Type theory Cross-platform software Procedural programming languages PHP programming language Type system C Pointer PHP Computing Software engineering Data types
350	IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. Box 7674  Berkeley, CaliforniaPhone: www.indulcijubilo.org Add to Reading List Source URL: www.indulcijubilo.org Language: English Project management In dulci jubilo Ada United States Postal Service Type system Computing Software engineering Programming language theory

UPDATE